there is no such camlp4prof.opt to be installed

diff --git a/debian/camlp4-extra.optfiles.in b/debian/camlp4-extra.optfiles.in
index 705ae155973f8f43f9cf0506e3d95ea135b2310d..13419f72c6ca4bac331581958e65621ae4ffef1d 100644 (file)
--- a/debian/camlp4-extra.optfiles.in
+++ b/debian/camlp4-extra.optfiles.in
@@ -2,4 +2,3 @@ usr/bin/camlp4of.opt
 usr/bin/camlp4rf.opt
 usr/bin/camlp4oof.opt
 usr/bin/camlp4orf.opt
-usr/bin/camlp4prof.opt